equality of two options is true iff `a` and `b` are both nil or `a` and `b` are both
`T` and T.equality a.or_panic b.or_panic.

This is defined only if T : property.equatable, it will result in a compile-time panic
if this is not the case.